24 research outputs found
Overview of Results Presented in "Trends in Logic XIII"
Book Reviews: Andrzej Indrzejczak, Janusz Kaczmarek, and Michał Zawidzki (editors), “Trends in Logic XIII. Gentzen’s and Jaśkowski’s Heritage. 80 Years of Natural Deduction and Sequent Calculi”, Wydawnictwo UŁ, Łódź (Poland), 2014, 269 pages, ISBN 978-83-7969-161-6
A post-style proof of completeness theorem for symmetric relatedness Logic S
One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.research supported by National Science Centre of Poland through grant No.: UMO-2015/19/N/HS1/0240
History of Relating Logic. The Origin and Research Directions
In this paper, we present the history of and the research directions in relating logic. For this purpose we will describe Epstein's Programme, which postulates accounting for the content of sentences in logical research. We will focus on analysing the content relationship and Epstein's logics that are based on it, which are special cases of relating logic. Moreover, the set-assignment semantics will be discussed. Next, the Torunian Programme of Relating Semantics will be presented; this programme explores the various non-logical relationships in logical research, including those which are content-related. We will present a general description of relating logic and semantics as well as the most prominent issues regarding the Torunian Programme, including some of its special cases and the results achieved to date
Sequent Calculi for Beginners and Professionals
Book Reviews: Andrzej Indrzejczak, Rachunki sekwentowe w logice klasycznej (Sequent calculi for classical logic), Wydawnictwo Uniwersytetu Łódzkiego, Łódź, 2013, 299 pages, ISBN 978-83-7525-812-
Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics)
Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6
Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015
Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6
A Formal Theory of Action
Book Reviews: Janusz Czelakowski, Freedom and Enforcement in Action. A Study in Formal Action Theory, vol. 42 of the Trends in Logic book series, Springer, Dordrecht, 2015, 261 pages, Print ISBN 978-94-017-9854-9, Online ISBN 978-94-017-9855-6. DOI: 10.1007/978-94-017-9855-6
About a New Solution to the Problem of Future Contingents
Book Reviews: Marcin Tkaczyk, "Futura contingentia", Wydawnictwo KUL, Lublin (Poland), 2015, 450 pages, ISBN 978-83-8061-111-5
Hyperspectral Remote Sensing Applied to Shallow Coastal Waters
A shallow water reflectance model was developed for application to optical remote sensing in highly diverse and complex coastal environments. A numerical inversion scheme, based on analytical parameterisation, was applied to airborne hyperspectral imagery collected over two regions of the Western Australian coastline; Jurien Bay and the Ningaloo Marine Park. Detailed maps of water quality, water depth and benthic cover classification were derived with a high degree of accuracy as compared to ground truth data
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR